Programming style

Results: 434



#Item
91Computing / Constraint satisfaction problem / Type class / Lambda calculus / Normalisation by evaluation / Constraint inference / Declarative programming / Constraint programming / Software engineering

Hindley-Milner Elaboration in Applicative Style Functional pearl François Pottier INRIA

Add to Reading List

Source URL: gallium.inria.fr

Language: English - Date: 2014-06-12 04:54:36
92C++ / C programming language / Source code / Cross-platform software / Header file / Include guard / Objective-C / Constant / Naming convention / Software engineering / Computer programming / Computing

Wildfire C++ Programming Style Wildfire C++ Programming Style With Rationale by Keith Gabryelski Wildfire Communications, Inc.

Add to Reading List

Source URL: www.literateprogramming.com

Language: English - Date: 2007-10-09 02:27:26
93Programming language implementation / Software / Theoretical computer science / Compiler / Algorithm / Continuation-passing style / Static single assignment form / Program optimization / Programming language / Software engineering / Computing / Compiler construction

Flexible and Practical Flow Analysis for Higher-Order Programming Languages by J. Michael Ashley Submitted to the faculty of the University Graduate School

Add to Reading List

Source URL: repository.readscheme.org

Language: English - Date: 2010-10-22 08:04:39
94Cross-platform software / Software bugs / Debugging / Source code / Computer errors / Assertion / Compilation error / C / GNU Debugger / Computer programming / Computing / Software engineering

Kelsey Lick : Programming : Style Guidelines for Programming in C/C++ Navigate: Style Guidelines for C/C++ Example of C++ Style and Commenting Debugging Guidelines

Add to Reading List

Source URL: www.literateprogramming.com

Language: English - Date: 2007-10-09 02:17:53
95Functional programming / Partial evaluation / Standard ML / Continuation-passing style / Pattern matching / Eval / Monad / Scheme / Currying / Software engineering / Declarative programming / Computing

Pearls of Theory: Intensional and Extensional Aspects of Partial Evaluation Olivier Danvy Computer Science Department Aarhus University  ()

Add to Reading List

Source URL: repository.readscheme.org

Language: English - Date: 2010-10-22 08:06:09
96Source code / Procedural programming languages / C programming language / C / Cross-platform software / Programming style / D / ALGOL 68 / Blocks / Computer programming / Computing / Software engineering

Very minimal manual of coding style Instructor: Dr. Aleksander Malinowski Programming style deals with the appearance of your program. If you were to write an entire program on one line, it would compile and run properly

Add to Reading List

Source URL: gdansk.bradley.edu

Language: English - Date: 2015-02-13 14:45:07
97Technical communication / HTML / Application programming interfaces / LaTeX / XML / Document Object Model / TeX / MathML / Cascading Style Sheets / Computing / Web standards / Markup languages

HopTeX - Compiling HTML to LaTeX with CSS Manuel Serrano Inria Sophia M´editerran´ee 2004 route des Lucioles - BP 93 FSophia Antipolis, Cedex – France

Add to Reading List

Source URL: repository.readscheme.org

Language: English - Date: 2012-08-10 19:23:58
98Subroutines / Continuation-passing style / Closure / Continuation / Parameter / Lisp / Stack / Tail call / Scheme / Software engineering / Computer programming / Computing

An Efficient Implementation of Multiple Return Values in Scheme J. Michael Ashley R. Kent Dybvig Indiana University Computer Science Department

Add to Reading List

Source URL: repository.readscheme.org

Language: English - Date: 2010-10-22 08:04:39
99C programming language / C++ / Source code / Procedural programming languages / Cross-platform software / C / External variable / Header file / Sizeof / Computer programming / Software engineering / Computing

Recommended C Style and Coding Standards L.W. Cannon R.A. Elliott L.W. Kirchhoff J.H. Miller J.M. Milner

Add to Reading List

Source URL: www.literateprogramming.com

Language: English - Date: 2007-10-09 02:17:29
100Control flow / Lambda calculus / Subroutines / Functional languages / Lisp programming language / Closure / Lisp / Continuation-passing style / Scheme / Software engineering / Computing / Computer programming

Scheme Flow Analysis Lastref information provides just enough information to disentangle the multiple environments that can be created over a given variable. If we had lastref information, we could, for example, correct

Add to Reading List

Source URL: repository.readscheme.org

Language: English - Date: 2010-10-22 08:05:10
UPDATE